$\forall$$R$:Realizer, ${\it es}$:ES. Possible($R$;${\it es}$) $\Rightarrow$ Consistent($R$;${\it es}$)